- функтор утверждения
- statement functor мат.
Русско-английский научно-технический словарь Масловского. 2015.
функтор утверждения
Look at other dictionaries:
Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… … Википедия
Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
Теория категорий — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… … Википедия
Категория (математика) — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Морфизм — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
ДЕФОРМАЦИЯ — 1) Д. аналитической структуры семейство аналитич. ространств (или связанных с ними аналитич. объектов), зависящее от параметров. Теория Д. возникла из задачи классификации всевозможных попарно не изоморфных комплексных структур на данном… … Математическая энциклопедия
КОГОМОЛОГИЙ АЛГЕБР ЛИ — специальный случай когомологий алгебр. Пусть алгебра Ли над коммутативным кольцом Кс единицей и пусть задан левый модуль V. т. е. линейное над Кпредставление алгебры в K модуле V. Модулем р м ерных когомологий алгебры Ли со значениями в F наз. (… … Математическая энциклопедия
БЛИЗОСТИ ПРОСТРАНСТВО — множество Рс бинарным отношением на множестве всех его подмножеств, удовлетворяющее следующим аксиомам: 1) равносильно (симметричность); 2) равносильно или (аддитивность); 3) равносильно … Математическая энциклопедия
ДВОЙСТВЕННАЯ КАТЕГОРИЯ — дуальная категория, к категории С категория С° с теми же объектами, что и С и с множествами морфизмов ( обращение стрелок ). Композиция морфизмов ис vв категории С° определяется как композиция uс ив С. Понятия и утверждения, относящиеся к … Математическая энциклопедия
КЮННЕТА ФОРМУЛА — формула, выражающая гомологии (или когомологии) тензорного произведения комплексов или прямого произведения пространств через гомологии (когомологии) сомножителей. Пусть ассоциативное кольцо с единицей, Аи С цепные комплексы соответственно правых … Математическая энциклопедия
